father(yigou,ergou).
father(linggou,yigou).

grandfather(X,Z) :- father(X,Y), father(Y,Z).

#二狗 (ergou) 的父亲是 一狗 (yigou)
#一狗 (yigou) 的父亲是零狗 (linggou)
#X 是 Z 大爷的前提条件是：X 是 Y 的父亲，Y 是 Z 的父亲
#
#?- grandfather(X,yigou).
#false.
#
#?- grandfather(X,ergou).
#X = linggou.
#
#?-